Echtzeitanforderungen bei der Integration von IEC 61131-3 Funktionsbausteinen und UML-RT Capsules

نویسندگان

  • Torsten Heverhagen
  • Rudolf Tracht
چکیده

Überblick. Mit Hilfe von Funktionsbausteinadaptern (FBAs) kann die Kommunikation zwischen Funktionsbausteinen der IEC 61131-3 und Capsules der Unified Modeling Language (UML) in einer formalen Sprache spezifiziert werden. Diese Spezifikation wird während der Entwurfsphase eines Systemes erstellt und ist hardware-unabhängig. Nachrichten, die von Capsules an Funktionsbausteine geschickt werden sollen, werden dabei in zeitabhängige Belegungen von Eingangsvariablen der Funktionsbausteine umgesetzt. Belegungen der Ausgangsvariablen von Funktionsbausteinen werden in Nachrichten umgewandelt, die an Capsules gesendet werden können. In diesem Artikel wird gezeigt, dass man aus der Verwendung von FBAs frühzeitig Synchronisationsprobleme zwischen Funktionsbausteinen und Capsules erkennen und Echtzeitanforderungen an die für die Kommunikation zuständige Software und Hardware ableiten kann.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modellierung und Analyse von Zeitanforderungen basierend auf der UML

Bei der Entwicklung von automotive Anwendungen gewinnt die frühzeitige Spezifikation und Überprüfung von Performanzund Echtzeitanforderungen an Bedeutung, da aufgrund der Komplexität der Systeme und des verteilten Entwicklungsprozesses frühzeitige Festlegungen zwischen OEM und Zulieferer notwendig sind. Wir stellen existierende Modellierungsund Analysetechniken für Zeitanforderungen vor und zei...

متن کامل

Modellbasiert automatisieren mit Eclipse

Die Erstellung fehlerfreier Software hat im Bereich der Automatisierungstechnik einen hohen Stellenwert. Ein Fehlverhalten von Steuerungen kann in Automatisierungsanlagen leicht zu hohen Sachschäden oder gar Personenschäden führen. Ein Ansatz zur Fehlervermeidung und gleichzeitiger Effizienzsteigerung ist das Arbeiten mit Modellen und Prüfen von Randbedingungen an dem Modell und anschließendem ...

متن کامل

Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme

Durch den steigenden Funktionsumfang moderner Maschinen und Anlagen erhöht sich insbesondere die Komplexität der Steuerungssoftware. Zur Sicherstellung und Dokumentation der geforderten Funktionalität unter den jeweiligen Rahmenbedingungen, nimmt der Qualitätsnachweis im zunehmenden Maÿe eine wesentliche Rolle im Entwicklungsprozesses ein. Der Softwareund Systemtest sind bei weitem das wichtigs...

متن کامل

Integrating UML-RealTime and IEC 61131-3 with Function Block Adapters

In this paper we introduce a new UML stereotype, the Function Block Adapter (FBA), which is responsible for the connection of UML-RealTime capsules and function blocks of the IEC 61131-3 (standard for PLC programming languages). FBAs contain an interface to capsules as well as to function blocks and a description of the mapping between these interfaces. For this description a special FBA-langua...

متن کامل

Flexible und plattformunabhängige Entwicklung mikrocontrollerbasierter mechatronischer Systeme für Nutzer ohne Vorwissen

................................................................................................... XXI Vorwort ................................................................................................. XXIII 1 Einleitung ............................................................................................... 1 1.1 Motivation ..........................................................

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001